home *** CD-ROM | disk | FTP | other *** search
- #!/bin/sh
- #4 July 96 Dan.Shearer@UniSA.edu.au
-
- INSTALLPERMS=$1
- BASEDIR=$2
- BINDIR=$3
- LIBDIR=$4
- VARDIR=$5
- shift
- shift
- shift
- shift
- shift
-
- if [ ! -d $BINDIR ]; then
- echo Directory $BINDIR does not exist!
- echo Do a "make installbin" or "make install" first.
- exit 1
- fi
-
- for p in $*; do
- if [ ! -f $BINDIR/$p ]; then
- echo $BINDIR/$p does not exist!
- else
- echo Removing $BINDIR/$p
- rm -f $BINDIR/$p
- if [ -f $BINDIR/$p ]; then
- echo Cannot remove $BINDIR/$p... does $USER have privileges?
- fi
- fi
- done
-
-
- cat << EOF
- ======================================================================
- The binaries have been uninstalled. You may restore the binaries using
- the command "make installbin" or "make install" to install binaries,
- man pages and shell scripts. You can restore a previous version of the
- binaries (if there were any) using "make revert".
- ======================================================================
- EOF
-
- exit 0
-